Rules Of Implication Ii